Reverse Engineering of Cobol Programs into Prolog Programs
نویسنده
چکیده
In this paper we examine how an executable logic speciication can be obtained from COBOL programs via reverse engineering, which is semantically equivalent to the original source. For this purpose we deene a speciication language COPRA and show how various imperative constructs, such as GOTOs and subroutine calls, can be handled in this language. This speciication is generated automatically and may serve as a starting point for a higher-level modiication of the source code.
منابع مشابه
Representing COBOL in Prolog - towards Program Comprehension and Reengineering
This paper sets out to investigate how COBOL programs can be interpreted using Prolog. For this purpose, we examine how an executable logic speci cation can be obtained, which is semantically equivalent to the original source. We de ne a speci cation language COPRA as a restricted subset of Prolog and show how various imperative constructs, such as GOTOs and subroutine calls, can be handled in ...
متن کاملReverse Engineering and Reusing COBOL Programs: A Program Transformation Approach
Since the 1980s, software maintenance started to attract attention. Some progress has been made in using formal methods on software maintenance, especially on reverse engineering. This paper attempts to summarise some major advances in this area over the last one and a half decades. Firstly, we introduce program transformation techniques for software development and review the techniques used f...
متن کاملAcquisition of Entity Relationship Models for Maintenance-Dealing with Data Intensive Programs in a Transformation System
This paper presents results of a research programme on reverse engineering using a transformation system for maintenance and focuses on dealing with data-intensive programs such as those written in COBOL. Problems with data-intensive programs are addressed, our solutions to these problems are discussed and the results of experiments are presented. It is concluded that formal transformations pro...
متن کاملReverse-engineering Cobol via formal methods
We describe methods and software tools which aid in reverse-engineering COBOL application programs back to the specification stage (and in validating them against the specification). The aim is to create object-oriented abstractions from the implementation which capture the design concepts accurately, and the central process which the tools support is ‘transformation from formalism to formalism...
متن کاملPre-processing COBOL Programs for Reverse Engineering in A Software Maintenance Tool
The Maintainer's Assistant is an interactive software maintenance tool which helps the user to extract a specification from an existing source code program. It is based on a program transformation system, in which a program is converted to a semantically equivalent form using proven transformations selected from a catalogue. This paper describes an environmental support tool, the COBOL pre-proc...
متن کامل